ar X iv : m at h / 99 04 11 7 v 2 [ m at h . D G ] 2 2 A pr 1 99 9 ASSIGNMENTS AND ABSTRACT MOMENT MAPS

نویسنده

  • YAEL KARSHON
چکیده

Abstract moment maps arise as a generalization of genuine moment maps on symplectic manifolds when the symplectic structure is discarded, but the relation between the mapping and the action is kept. Particular examples of abstract moment maps had been used in Hamiltonian mechanics for some time, but the abstract notion originated in the study of cobordisms of Hamiltonian group actions. In this paper we answer the question of existence of a (proper) abstract moment map for a torus action and give a necessary and sufficient condition for an abstract moment map to be associated with a pre-symplectic form. This is done by using the notion of an assignment, which is a combinatorial counterpart of an abstract moment map. Finally, we show that the space of assignments fits as the zeroth cohomology in a series of certain cohomology spaces associated with a torus action on a manifold. We study the resulting “assignment cohomology” theory.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : m at h / 99 04 11 7 v 1 [ m at h . D G ] 2 1 A pr 1 99 9 ASSIGNMENTS AND ABSTRACT MOMENT MAPS

Abstract moment maps arise as a generalization of genuine moment maps on symplectic manifolds when the symplectic structure is discarded, but the relation between the mapping and the action is kept. Particular examples of abstract moment maps had been used in Hamiltonian mechanics for some time, but the abstract notion originated in the study of cobordisms of Hamiltonian group actions. In this ...

متن کامل

ar X iv : m at h / 99 04 11 7 v 3 [ m at h . D G ] 2 3 A pr 1 99 9 ASSIGNMENTS AND ABSTRACT MOMENT MAPS

Abstract moment maps arise as a generalization of genuine moment maps on symplectic manifolds when the symplectic structure is discarded, but the relation between the mapping and the action is kept. Particular examples of abstract moment maps had been used in Hamiltonian mechanics for some time, but the abstract notion originated in the study of cobordisms of Hamiltonian group actions. In this ...

متن کامل

Eecient and Precise Sharing Domains for Logic Programs

interpretation [8, 9] formalizes program analysis as approximate computation. Instead of executing a program with data, it is executed with descriptions of the data. In our case, this means that logic programs are executed with abstract substitutions instead of concrete substitutions. Concrete and abstract substitutions are related by a description relation. To every operation on the concrete s...

متن کامل

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Predicate abstraction has emerged to be a powerful technique for extracting finite-state models from infinitestate discrete programs. This paper presents algorithms and tools for reachability analysis of hybrid systems by combining the notion of predicate abstraction with recent techniques for approximating the set of reachable states of linear systems using polyhedra. Given a hybrid system and...

متن کامل

Static analysis of numerical properties in the presence of pointers. (Analyse statique de propriétés numériques en présence de pointeurs)

interpretation, introduced in the late 1970’s [24] by P. Cousot and R. Cousot, is a framework of semantics approximation. We briefly review the major terminology of this theory. Informally, abstract interpretation aims to construct two different meanings for a programming language where the first gives the usual meaning of programs in the language, and the second can be used to answer certain q...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999